Better termination proving through cooperation Marc Brockschmidt1 , Byron Cook2,3 , and Carsten Fuhs3 1 2

Source URL: www.dcs.bbk.ac.uk

• Graph theory
• Static program analysis
• Termination analysis
• Cograph
• IP
• KeY
• Graph coloring

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de

Source URL: www.sec.in.tum.de

• Recursion
• Theoretical computer science
• Formal methods
• Compiler optimizations
• Infinite loop
• Satisfiability modulo theories
• Control flow
• For loop
• Algorithm
• Termination analysis
• Loop unrolling
• Satisfiability

Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination

Source URL: sunsite.informatik.rwth-aachen.de

• Logic in computer science
• Mathematical logic
• Aachen
• RWTH Aachen University
• Termination analysis
• Boolean satisfiability problem
• NP-completeness
• Algorithm
• Rewriting

CLAPP: Characterizing Loops in Android Applications Yanick Fratantonio Aravind Machiry Antonio Bianchi

Source URL: gswc.cs.ucsb.edu

• Compiler optimizations
• Compiler construction
• Parallel computing
• Real-time computing
• Worst-case execution time
• Optimizing compiler
• Infinite loop
• Loop unrolling
• Termination analysis
• Android

Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1

Source URL: www.dcs.bbk.ac.uk

• Logic in computer science
• Mathematical logic
• Theoretical computer science
• Static program analysis
• Termination analysis
• Automated theorem proving
• Prolog
• Unification
• Rewriting
• Algorithm
• Recursion
• ECLiPSe

Folkesundhedsdatabasen Public Health Database. Possibilities and perspectives CHEP seminar on data resources for health economic analysis January 29, 2016

Source URL: chep.ku.dk

• Ageing
• Retirement
• Termination of employment
• Survey of Health
• Ageing and Retirement in Europe

Torsten J. Gerpott/Nima Ahmadi Who is (not) convinced to withdraw a contract termination announcement? A discriminant analysis of mobile communication customers in Germany Work in Progress # 137 September 2014

Source URL: www.zftm.de

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: verify.rwth-aachen.de

Size-Change Termination with Difference Constraints AMIR M. BEN-AMRAM This paper considers an algorithmic problem related to the termination analysis of programs. More specifically, we are given bounds on differences in

Source URL: www2.mta.ac.il

Aachen Department of Computer Science Technical Report Automated Termination Analysis of Java Bytecode by Term Rewriting

Source URL: verify.rwth-aachen.de